Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic

This paper discusses coloured Petri net models of so-called timed influence nets with logic. Previous work has developed a method to translate a timed influence net into a coloured Petri net. The work in this paper describes a new and more compact translation from timed influence nets with logic into coloured Petri nets. The translation has the property that the net structure of the coloured Petri net will be the same for all translated timed influence nets – only the initial marking changes depending on the actual timed influence net. This more compact translation avoids the generation of simulation code for each timed influence net. The paper also presents some validation results to establish that the coloured Petri net models from the two methods are equivalent, i.e. that the new compact coloured Petri net model gives the same simulation results as the old less compact model does.